#define KLEE_BUILD_MODE "Release+Asserts"
#define KLEE_BUILD_REVISION "45cfd377ca29964f5b109faf040fe46a49fbef0e"
